Deep inference
Results: 52
# | Item |
---|---|
51![]() | May 15, 2007 — To be presented at HyLo’07 (Part of ESSLLI[removed]Deep Inference for Hybrid LogicAdd to Reading ListSource URL: www.lix.polytechnique.frLanguage: English - Date: 2007-05-15 05:01:27 |
52![]() | Deep Inference and Symmetry in Classical Proofs Dissertation zur Erlangung des akademischen GradesAdd to Reading ListSource URL: www.iam.unibe.chLanguage: English - Date: 2004-03-12 06:11:33 |